利用定理 3.3.1, 有

, 则

从而得到正项级数有界从而收敛, 并且 .